FUNCTION

json.as_big_integer

pure function as_big_integer(): big_integer

Convert this JSON value to a big_integer.

All JSON values that can be converted to integer with as_integer() can also be converted to big_integer with as_big_integer(), though the reverse is not true, since big_integer values may fall outside the integer range.

Throws

  • exception — if this JSON value cannot be converted to a big_integer

Since

0.14.16

© 2026 Chromia